/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package syntax;

/**
 *
 * @author ennouaary
 */
public class LocationRuntimeInfo {
    private boolean reachable;
    private Transition lastPathTrans;

    public boolean isReachable() {
        return reachable;
    }

    public void setReachable(boolean reachable) {
        this.reachable = reachable;
    }

    public Transition getLastPathTrans() {
        return lastPathTrans;
    }

    public void setLastPathTrans(Transition lastPathTrans) {
        this.lastPathTrans = lastPathTrans;
    }

    public LocationRuntimeInfo(boolean reachable, Transition lastPathTrans) {
        this.reachable = reachable;
        this.lastPathTrans = lastPathTrans;
    }

    public LocationRuntimeInfo() {
    }
    
}
